<?php
/**
 * iDesignByContract interface definition
 *   
 * @author Sean Crystal <seancrystal@gmail.com>
 * @package MutantVole
 */
 
interface iDesignByContract {
	
	public function Precondition ($assertion, $error_msg);
	public function Postcondition ($assertion, $error_msg);
	public function Invariant ($assertion, $error_msg);
	public function Assertion ($assertion, $error_msg);
}

?>